Skip to content

Conversation

senekor
Copy link
Contributor

@senekor senekor commented Jun 19, 2025

This is a follow-up to #1640, which didn't quite do what I wanted.

senekor added 2 commits June 19, 2025 20:50
This was the intention of the following commit:
f338aa3b8869fc494e2cdd87c6dd8954792e653c

But apparantly the pinning must be explicitly opted-out of.
@senekor senekor requested a review from Manishearth June 19, 2025 18:55
@senekor
Copy link
Contributor Author

senekor commented Jun 21, 2025

@Manishearth gentle ping in case you missed this

@senekor senekor merged commit ed33b3e into master Jun 21, 2025
5 checks passed
@senekor senekor deleted the senekor-rxvqqwpyoltz branch June 21, 2025 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants